gl: Move getters for context options to the public API
authorEmmanuele Bassi <ebassi@gnome.org>
Wed, 28 Jan 2015 14:37:26 +0000 (14:37 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Mon, 9 Feb 2015 19:10:30 +0000 (19:10 +0000)
commit6aaa6c337bc85913f0f898239cd678fef2a89b20
tree5f13a24b09259fa5bc8239d3e8ec15359469ea84
parentf7497daee933cbfa328225eb318449054bab81f3
gl: Move getters for context options to the public API

They can be useful for third party code as well.

https://bugzilla.gnome.org/show_bug.cgi?id=741946
gdk/gdkglcontext.c
gdk/gdkglcontext.h
gdk/gdkglcontextprivate.h